Thai Panang Curry - Instant Pot / Pressure Cooker